Skip to main content
Share
Favorite

32
RESULTS

texts 31
movies 1
COLLECTION
TOPIC
axioms 13
Axioms 10
proof 6
AXIOMS 5
Geometry 4
Mathematics 4
logic 4
Groups 3
artificial intelligence 3
inference rules 3
theorem 3
Algebra 2
Axioms for Groups 2
DISTRIBUTION FUNCTIONS 2
Electrodynamics 2
Euclid 2
INFERENCE 2
MATHEMATICAL MODELS 2
Maths 2
Theorems 2
behavior 2
consistent theory 2
correctness 2
data 2
die 2
fixed 2
fixed point 2
fixed points 2
formulas 2
labeled 2
mutual exclusion 2
notion 2
operation 2
predicate calculus 2
program 2
proof procedure 2
proof system 2
set 2
specification 2
specifications 2
synchronization 2
tableau 2
tableau structure 2
theory 2
tms 2
truth maintenance 2
type 2
(M 1
CALIBRATING 1
CHARGE TRANSFER 1
COMPUTER PROGRAMS 1
CREEP PROPERTIES 1
Categorical Ontology and the Theory of Levels (COTL) 1
Conjugacy Classes 1
Cosets 1
DAMPING 1
DIFFUSION 1
Definitions 1
Double Groupoids 1
ETAC and ETAS axioms 1
Elements 1
Fields 1
Functors and Natural Transformations (CT) 1
GRAPH THEORY 1
General Systems Theory and Complex Systems Biology 1
Generalized spaces 1
Geometry and Groups 1
Group Action 1
Group Actions 1
HIGH TEMPERATURE 1
HOLES (ELECTRON DEFICIENCIES) 1
Higher Dimensional Algebra (HDA) of Networks 1
Higher Dimensional Algebra of Brain Functions 1
Higher Homotopy-Generalised van Kampen theorems (HHGvKTs) 1
INCONEL (TRADEMARK) 1
ION DENSITY (CONCENTRATION) 1
ION RECOMBINATION 1
Isomorphism Theorems 1
KRYPTON 1
LINEAR ENERGY TRANSFER (LET) 1
LOSSES 1
Lagrange and Fermat-Euler�s Theorems 1
Lagrange�s Theorem 1
Lattices 1
MATHEMATICAL LOGIC 1
MECHANICAL PROPERTIES 1
MECHANIZATION 1
Math 1
Math4Teens 1
Mathematical analysis -- Foundations 1
Mathematics -- Philosophy 1
Non- Abelian Categorical Ontology 1
Non-Abelian Algebraic Topology (NAAT) 1
OPTIMIZATION 1
Opticks 1
Orbit-Stabilizer Theorem 1
PLASMA DENSITY 1
PLASMA WAVES 1
PLASMAS (PHYSICS) 1
PROGRAMMING LANGUAGES 1
PROTOTYPES 1
PROVING 1
Permutations 1
Physics 1
Planimetry 1
Points 1
Problems 1
Propositions 1
Psychology 1
Quantum Algebraic Topology (QAT) and Axiomatic Quantum Theory (AQT) 1
Quantum Double 1
Quaternions 1
R)-systems (MRs) and organisms 1
RADIATION DISTRIBUTION 1
Rational Numbers 1
Rings 1
SILICON 1
STANDARD DEVIATION 1
STATISTICAL ANALYSIS 1
Sets 1
Spaces 1
TEMPERATURE EFFECTS 1
THERMAL FATIGUE 1
Theoretical Biology 1
Theory of Categories 1
Theses 1
Trisection of angle 1
Unizor 1
Yoneda-Grothendieck Lemma 1
access mode 1
access modes 1
action 1
action symbols 1
actions 1
actor 1
actor system 1
algorithm 1
analysis and synthesis 1
apothegms 1
attribute 1
attribution 1
attributions 1
automatic 1
automatic derivation 1
automatic generation 1
autopoiesis and generalised metabolic-replication systems 1
axiom 1
axiom schemes 1
boolean combination 1
bound variables 1
boundaries and horizons 1
category of categories 1
category of double groupoids and double category 1
causal axioms 1
checking proofs 1
circumscription 1
circumscription axiom 1
closed and open systems 1
code 1
code generation 1
code generator 1
code generators 1
combinatory 1
combinatory model 1
commands 1
compiler 1
complete proof 1
completion procedure 1
complex 1
computation 1
computation satisfies 1
converts clause 1
cross diamond 1
data base 1
data type 1
data types 1
deduction rule 1
deduction rules 1
default 1
default reasoning 1
derivation 1
derivational closure 1
description 1
description abstraction 1
descriptions 1
die set 1
dynamic 1
dynamic logic 1
enlightenment 1
equals 1
equivalence 1
equivalence relation 1
essential 1
essential function 1
evaluator 1
events 1
exception 1
exceptional behavior 1
execution 1
executions 1
CREATOR
SHOW DETAILS